Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT

Source URL: www.cs.bham.ac.uk.

High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment Xin Li Ontario Research Center for Computer Algebra University of Western Ontario London, Ontario, Canada

Source URL: cs.uwaterloo.ca

Incremental SPARQL Evaluation for Query Answering on Linked Data Florian Schmedding Department of Computer Science Albert Ludwig University of Freiburg, Germany

Source URL: ceur-ws.org

Basic Fortran Support in Legion Adam J Ferrari and Andrew S. Grimshaw Department of Computer Science, University of Virginia Technical Report CSMarch 4, 1998 Abstract

Source URL: www.cs.virginia.edu

Evaluating Unexpected Change in a Distributed Collection Luis Meneses, Richard Furuta and Frank Shipman Center for the Study of Digital Libraries and Department of Computer Science and Engineering Texas A&M University Co

Source URL: www.ieee-tcdl.org

A birthday present every eleven wallets? The security of customer-chosen banking PINs Joseph Bonneau, S¨oren Preibusch, Ross Anderson Computer Laboratory University of Cambridge {jcb82,sdp36,rja14}@cl.cam.ac.uk

Source URL: preibusch.de

YourWireless Network has No Clothes∗ William A. Arbaugh Narendar Shankar Y.C. Justin Wan Department of Computer Science University of Maryland

Source URL: www.cs.umd.edu

• Wireless networking
• Computer network security
• Computer security
• Computing
• Cryptography
• Cryptographic protocols
• IEEE 802.11
• Computer access control
• Extensible Authentication Protocol
• Wired Equivalent Privacy
• Authentication protocol
• Integrated Windows Authentication

The Role of Trust in Decision-Making for Human Robot Collaboration Min Chen∗1 , Stefanos Nikolaidis†1 , Harold Soh∗ , David Hsu∗ and Siddhartha Srinivasa† ∗ Department of Computer Science, National University

Source URL: www.stefanosnikolaidis.net

Weighted Synergy Graphs for Effective Team Formation with Heterogeneous Ad Hoc Agents Somchaya Liemhetcharat∗ and Manuela Veloso School of Computer Science, Carnegie Mellon University Pittsburgh, PA 15213, USA som@ri.c

Source URL: www.somchaya.org

Replaying IDE Interactions to Evaluate and Improve Change Prediction Approaches Romain Robbes Computer Science Department (DCC) University of Chile, Santiago, Chile Damien Pollet

Source URL: www.inf.usi.ch